Leslie Lamport
Retrieve the information about Leslie Lamport and his books on the go! Keep your project up to date with the ISBNdb book database searchable via API with 19 data points per book available.
Das Latex Handbuch
Latex
LaTeX: A Document Preparation System
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
The Latex Document Preparation System: User's Guide & Reference Manual
This is an excerpt from the ISBNdb database. Need more data? Get a FREE 7 day trial and get access to the full database of over 35 million books and all data points including title, author, publisher, publish date, binding, pages, list price, and more.
Get started Free